Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
231	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
232	Differential Logic Programs: Programming Methodologies and Semantics A. Bossi M. Bugliesi Dipartimento di Matematica Pura ed Applicata Universit` a di Padova via Belzoni 7, 35131 Padova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:41:34 Predicate logic Functions and mappings Logic programming Predicate Prolog Function Resolution Logic Mathematics Mathematical logic
233	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
234	Quine on Modal Logic Justin Bledin March 13, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-14 02:21:00 Philosophy of language Opaque context Predicate logic Philosophical logic Function Free variables and bound variables Modal logic Referential transparency Logic Mathematics Analytic philosophy
235	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
236	Applicative Abstract Categorial Grammar Semantics Seminar Toukyou, Japan, June 1, 2012 Add to Reading List Source URL: okmij.org Language: English - Date: 2012-06-05 21:37:41 Formal languages Science Quantification Predicate logic Categorial grammar Parsing Binding Formal grammar Linguistics Logic Semantics
237	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
238	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-21 00:10:15 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic
239	Knowledge-Based Question Answering as Machine Translation Junwei Bao† ∗, Nan Duan‡ , Ming Zhou‡ , Tiejun Zhao† Harbin Institute of Technology† Microsoft Research‡ {nanduan, mingzhou}@ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-06-04 02:15:37 Computational linguistics Information retrieval Natural language processing Grammar Predicate logic Question answering Predicate Question Open domain question answering Science Logic Mathematics
240	The Role and Meaning of Predicative and Non-predicative Definitions in the Search for Information. Ilya S Geller LexiClone Inc. Borrowings and Adaptations. First of all, the author would like to clarify the meanings of t Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2004-02-12 14:07:15 Grammar Semantics German idealism Lexicography Predicate Mathematical logic Predicative Noun Adjective Linguistics Philosophy Parts of speech

UPDATE